منابع مشابه
Elimination of Negation in a Logical Framework
We address the issue of endowing a logical framework with a logically justi ed notion of negation. Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae cannot directly express negative information, although negation is a useful speci cation tool. Since negation-as-failure does not t well in a logical framework, especially one endowed with hypothetical an...
متن کاملAwareness, Negation and Logical Omniscience
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent’s knowledge and beliefs are closed under implication. There have been many attempts to solve the problem of logical omniscience. However, according to our intuition, sometimes an agent’s knowledge and beliefs are indeed closed under implication. Based on the notion of awareness, we introduce two kind...
متن کاملOne View of Logical Preservation and Negation
We examine the structural role of negation in a logical system. We show how a preservationist approach to consequence relations can illuminate this role. A general account of consequence is given, in terms of the preservation of any among many candidate properties of sets of sentences in a logical language. Such properties are defined, and important features are described. We show that it can b...
متن کاملA Logical Encoding of Well-Founded Semantics with Explicit Negation
In this work we revisit a previously obtained logical characterization of Well-Founded Semantics (WFS) and show now its application to Alferes and Pereira’s WFS variant (WFSX) for programs with explicit negation. In a previous work, we presented a full logical treatment of program connectives by interpreting them in an intermediate logic (we called two-dimensional here-and-there, HT ). This log...
متن کاملA Logical Semantics for Depth-First Prolog with Ground Negation
A sound and complete semantics is given for sequential, depth-rst logic programming with a version of negation as failure. The semantics is logical in the sense that it is built up only from valuation functions (multi-valued logic interpretations in the style of Fitting and Kunen) and logically-motivated equivalence relations between formulas. The notion of predicate folding and unfolding with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ciência e filosofia
سال: 2000
ISSN: 2447-9799,0103-5703
DOI: 10.11606/issn.2447-9799.cienciaefilosofi.2000.105353